Glossary of the European Union and European Communities . 2014.
decision procedure — Logic. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions. [1940 45] * * * decision procedure, Mathematics, Statistics. a formal method by which any problem expressible … Useful english dictionary
co-decision procedure — co decision (now called ordinary legislative procedure) European Union The co decision procedure was introduced by the Treaty of Maastricht. It gives the European Parliament (EP) the power to adopt instruments jointly with the Council of the… … Law dictionary
decision procedure — Logic. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions. [1940 45] * * * … Universalium
Conciliation committee (Third reading): co-decision procedure (now ordinary legislative procedure) — European Union Under the co decision procedure (now named … Law dictionary
political agreement: Co-decision procedure (now ordinary legislative procedure) — European Union Agreement expressed in principle by the Council (in the context of preparing the Council s common position) … Law dictionary
political agreement: Co-decision procedure — (now ordinary legislative procedure) European Union Agreement expressed in principle by the Council (in the context of preparing the Council s common position) following a vote, where appropriate … Law dictionary
common position: co-decision procedure (now ordinary legislative procedure) — European Union When the Council of the European Union does not share the views expressed by European Parliament … Law dictionary
European Parliament First Reading: Co-decision procedure (now ordinary legislative procedure) — European Union The European Parliament delivers an opinion at first reading. This opinion, prepared by a rapporteur discussed a … Law dictionary
common position: co-decision procedure — (now ordinary legislative procedure) European Union When the Council of the European Union does not share the views expressed by European Parliament, it adopts a common position, whic … Law dictionary
European Parliament First Reading: Co-decision procedure — (now ordinary legislative procedure) European Union The European Parliament delivers an opinion at first reading. This opinion, prepared by a rapporteur discussed and amended within the relevant parlia … Law dictionary
Beaver Bit-vector Decision Procedure — Beaver is a Satisfiability Modulo Theories (SMT) decision procedure for the theory of quantifier free finite precision bit vector arithmetic ( [http://combination.cs.uiowa.edu/smtlib/logics/QF BV.smt QF BV] ). Its prototype implementation… … Wikipedia
